Go Assembly Mutation Testing
words.filippo.io·12h·
Discuss: Lobsters, Hacker News, r/programming
🐫Embedded OCaml
Generating Highly Structured Test Inputs Leveraging Constraint-Guided Graph Refinement
arxiv.org·2d
🤖Program Synthesis
I Built an Vibe Coding Misalignment Detector (and Used It to Build Itself)
github.com·13h·
Discuss: Hacker News
👁️System Observability
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·9h·
Discuss: Hacker News
🔠Type-Level Programming
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·17h·
Discuss: Hacker News
🐫OCaml
Unit Testing in NestJS for Node Using Suites (Formerly Automock)
blog.appsignal.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
How Kimi RL’ed Qualitative Data to Write Better
dbreunig.com·14h·
Discuss: Hacker News
👁️System Observability
RePaCA: Leveraging Reasoning Large Language Models for Static Automated Patch Correctness Assessment
arxiv.org·1d
🔬Static Analysis
You’re Building AI Apps Backwards: The Model-Product Problem
thenewstack.io·12h
👁️System Observability
Building AI flag cleanup
bucket.co·17h·
Discuss: Hacker News, r/programming
🔄Reproducible Builds
Black-Box Bug-Amplification for Multithreaded Software
arxiv.org·2d
🔍Formal Verification
Launch HN: Lucidic (YC W25) – Debug, test, and evaluate AI agents in production
news.ycombinator.com·1d·
Discuss: Hacker News
👁️System Observability
How Judoscale's Utilization-Based Autoscaling Works
judoscale.com·14h·
Discuss: Hacker News
👁️System Observability
Interprocedural Analysis: Catch nil Dereferences Before They Crash Your Code
blog.jetbrains.com·3d·
Discuss: Hacker News
🔬Static Analysis
From Frustration to Power: What We Learned at Nixcademy
niteo.co·15h·
Discuss: Lobsters, Hacker News
❄️Nixified Development
Data-Driven Stochastic Control via Non-i.i.d. Trajectories: Foundations and Guarantees
arxiv.org·1h
🔄Finite State Machines
Why build a domain-specific agent for front end tasks?
kombai.com·15h·
Discuss: Hacker News
🔤DSLs
Moving Beyond the Prompt (AI Literacy Course)
github.com·6h·
Discuss: Hacker News
🎮Verification Games
MethodHandles And Bad Benchmarks
github.com·1d·
Discuss: r/programming
👁️System Observability
Can you trust your friendly neighborhood LLM?
chrisbeckman.dev·1d·
Discuss: Hacker News
🛡️seL4